[next] [prev] [prev-tail] [tail] [up]

2.2.12 Integrals 1101 to 1200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 219 740 0 532 0 277 200

N.S.

1 1.00 1.46 4.93 0.00 3.55 0.00 1.85 1.33

time (sec)

N/A 0.292 4.551 0.384 0.000 1.321 0.000 0.666 8.889

Problem 1102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 155 704 0 413 0 227 90

N.S.

1 1.00 1.55 7.04 0.00 4.13 0.00 2.27 0.90

time (sec)

N/A 0.166 2.977 0.247 0.000 1.042 0.000 0.565 7.069

Problem 1103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 88 685 4714 318 0 185 854

N.S.

1 1.00 1.28 9.93 68.32 4.61 0.00 2.68 12.38

time (sec)

N/A 0.098 1.223 0.291 0.702 0.909 0.000 0.475 7.196

Problem 1104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 339 128 0 714 0 360 763

N.S.

1 1.00 2.42 0.91 0.00 5.10 0.00 2.57 5.45

time (sec)

N/A 0.244 5.235 0.801 0.000 1.516 0.000 0.524 7.739

Problem 1105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 281 269 0 1115 0 473 2500

N.S.

1 1.00 1.33 1.27 0.00 5.28 0.00 2.24 11.85

time (sec)

N/A 0.406 1.987 0.454 0.000 1.366 0.000 0.574 8.167

Problem 1106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 329 382 0 1478 0 632 2500

N.S.

1 1.00 1.18 1.36 0.00 5.28 0.00 2.26 8.93

time (sec)

N/A 0.663 2.902 0.439 0.000 1.802 0.000 0.687 10.253

Problem 1107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 271 910 0 810 0 337 309

N.S.

1 1.00 1.50 5.03 0.00 4.48 0.00 1.86 1.71

time (sec)

N/A 0.365 7.610 0.292 0.000 1.860 0.000 0.963 13.956

Problem 1108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 221 872 0 666 0 288 196

N.S.

1 1.00 1.69 6.66 0.00 5.08 0.00 2.20 1.50

time (sec)

N/A 0.215 3.977 0.273 0.000 1.460 0.000 0.806 10.316

Problem 1109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 111 852 0 520 0 241 2869

N.S.

1 1.00 1.13 8.69 0.00 5.31 0.00 2.46 29.28

time (sec)

N/A 0.150 2.051 0.254 0.000 1.120 0.000 0.559 16.322

Problem 1110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

153 153 376 140 0 808 0 407 847

N.S.

1 1.00 2.46 0.92 0.00 5.28 0.00 2.66 5.54

time (sec)

N/A 0.227 4.523 0.374 0.000 1.080 0.000 0.574 7.342

Problem 1111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 272 284 0 1012 0 462 1580

N.S.

1 1.00 1.30 1.36 0.00 4.84 0.00 2.21 7.56

time (sec)

N/A 0.440 1.955 0.423 0.000 1.260 0.000 0.663 7.757

Problem 1112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

274 274 311 362 0 1268 0 624 2500

N.S.

1 1.00 1.14 1.32 0.00 4.63 0.00 2.28 9.12

time (sec)

N/A 0.682 2.855 0.418 0.000 1.806 0.000 0.755 9.210

Problem 1113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 528 1043 0 1115 0 423 400

N.S.

1 1.00 2.44 4.83 0.00 5.16 0.00 1.96 1.85

time (sec)

N/A 0.433 9.918 0.325 0.000 2.541 0.000 1.350 27.628

Problem 1114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 271 1003 0 941 0 374 257

N.S.

1 1.00 1.63 6.04 0.00 5.67 0.00 2.25 1.55

time (sec)

N/A 0.271 7.387 0.279 0.000 1.024 0.000 1.120 19.220

Problem 1115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 208 970 0 752 0 315 2500

N.S.

1 1.00 1.59 7.40 0.00 5.74 0.00 2.40 19.08

time (sec)

N/A 0.199 3.291 0.263 0.000 1.096 0.000 0.677 28.125

Problem 1116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 260 237 0 1053 0 464 2500

N.S.

1 1.00 1.41 1.28 0.00 5.69 0.00 2.51 13.51

time (sec)

N/A 0.288 2.147 0.324 0.000 0.992 0.000 0.620 9.358

Problem 1117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 291 302 0 1112 0 520 2500

N.S.

1 1.00 1.34 1.39 0.00 5.12 0.00 2.40 11.52

time (sec)

N/A 0.425 2.122 0.364 0.000 0.982 0.000 0.784 9.188

Problem 1118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

285 285 324 452 0 1282 0 602 2500

N.S.

1 1.00 1.14 1.59 0.00 4.50 0.00 2.11 8.77

time (sec)

N/A 0.672 2.898 0.419 0.000 1.345 0.000 0.822 9.338

Problem 1119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 168 793 0 443 0 243 119

N.S.

1 1.00 1.33 6.29 0.00 3.52 0.00 1.93 0.94

time (sec)

N/A 0.195 3.778 0.309 0.000 0.849 0.000 0.681 6.548

Problem 1120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 95 759 0 353 0 185 67

N.S.

1 1.00 1.28 10.26 0.00 4.77 0.00 2.50 0.91

time (sec)

N/A 0.104 2.140 0.292 0.000 1.110 0.000 0.587 5.914

Problem 1121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 71 733 6772 285 0 156 2947

N.S.

1 1.00 1.54 15.93 147.22 6.20 0.00 3.39 64.07

time (sec)

N/A 0.052 1.097 0.360 0.700 0.806 0.000 0.513 6.402

Problem 1122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 222 150 0 1018 0 376 2500

N.S.

1 1.00 1.43 0.97 0.00 6.57 0.00 2.43 16.13

time (sec)

N/A 0.211 1.548 0.396 0.000 1.417 0.000 0.572 8.306

Problem 1123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 275 232 0 1429 0 494 2500

N.S.

1 1.00 1.24 1.05 0.00 6.47 0.00 2.24 11.31

time (sec)

N/A 0.419 2.245 0.351 0.000 1.575 0.000 0.640 9.169

Problem 1124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 324 357 0 1777 0 669 2500

N.S.

1 1.00 1.09 1.20 0.00 5.96 0.00 2.24 8.39

time (sec)

N/A 0.661 3.418 0.362 0.000 1.424 0.000 0.834 11.142

Problem 1125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 219 1056 0 620 0 247 182

N.S.

1 1.00 1.58 7.60 0.00 4.46 0.00 1.78 1.31

time (sec)

N/A 0.220 4.371 0.290 0.000 1.245 0.000 0.783 6.587

Problem 1126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 189 1030 0 600 0 209 142

N.S.

1 1.00 2.05 11.20 0.00 6.52 0.00 2.27 1.54

time (sec)

N/A 0.157 3.519 0.294 0.000 0.872 0.000 0.715 6.385

Problem 1127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 158 1015 0 550 0 192 2500

N.S.

1 1.00 2.08 13.36 0.00 7.24 0.00 2.53 32.89

time (sec)

N/A 0.117 2.621 0.313 0.000 1.002 0.000 0.641 14.427

Problem 1128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 297 257 0 1589 0 476 2500

N.S.

1 1.00 1.45 1.25 0.00 7.75 0.00 2.32 12.20

time (sec)

N/A 0.328 3.413 0.347 0.000 1.530 0.000 0.811 15.809

Problem 1129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

281 281 388 399 0 2298 0 588 2500

N.S.

1 1.00 1.38 1.42 0.00 8.18 0.00 2.09 8.90

time (sec)

N/A 0.540 4.918 0.320 0.000 2.274 0.000 0.939 15.104

Problem 1130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

368 368 468 596 0 2674 0 785 2500

N.S.

1 1.00 1.27 1.62 0.00 7.27 0.00 2.13 6.79

time (sec)

N/A 0.862 7.868 0.379 0.000 4.597 0.000 1.404 13.881

Problem 1131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 232 920 0 983 0 314 255

N.S.

1 1.00 1.47 5.82 0.00 6.22 0.00 1.99 1.61

time (sec)

N/A 0.315 7.367 0.304 0.000 1.497 0.000 1.016 9.145

Problem 1132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 218 899 0 929 0 250 221

N.S.

1 1.00 1.72 7.08 0.00 7.31 0.00 1.97 1.74

time (sec)

N/A 0.238 5.138 0.289 0.000 1.042 0.000 0.903 8.904

Problem 1133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 198 885 0 843 0 228 2500

N.S.

1 1.00 1.82 8.12 0.00 7.73 0.00 2.09 22.94

time (sec)

N/A 0.189 4.025 0.317 0.000 1.016 0.000 0.809 25.068

Problem 1134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

267 267 371 364 0 2699 0 547 2500

N.S.

1 1.00 1.39 1.36 0.00 10.11 0.00 2.05 9.36

time (sec)

N/A 0.453 6.822 0.472 0.000 4.025 0.000 1.091 93.425

Problem 1135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F(-1) B F(-1)

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

351 351 1004 518 0 3287 0 701 -1

N.S.

1 1.00 2.86 1.48 0.00 9.36 0.00 2.00 -0.00

time (sec)

N/A 0.703 9.870 0.485 0.000 10.194 0.000 1.333 0.000

Problem 1136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F(-1) B F(-1)

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

446 446 1160 743 0 3845 0 1061 -1

N.S.

1 1.00 2.60 1.67 0.00 8.62 0.00 2.38 -0.00

time (sec)

N/A 1.072 10.928 0.422 0.000 20.585 0.000 1.288 0.000

Problem 1137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

263 263 589 1079 0 1073 0 0 -1

N.S.

1 1.00 2.24 4.10 0.00 4.08 0.00 0.00 -0.00

time (sec)

N/A 0.678 8.003 0.717 0.000 0.995 0.000 0.000 0.000

Problem 1138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

250 250 559 866 0 773 0 0 -1

N.S.

1 1.00 2.24 3.46 0.00 3.09 0.00 0.00 -0.00

time (sec)

N/A 0.630 6.289 0.518 0.000 0.787 0.000 0.000 0.000

Problem 1139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 442 866 0 509 0 0 2101

N.S.

1 1.00 2.93 5.74 0.00 3.37 0.00 0.00 13.91

time (sec)

N/A 0.272 3.745 0.517 0.000 0.863 0.000 0.000 20.353

Problem 1140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 182 877 0 369 0 0 1724

N.S.

1 1.00 1.50 7.25 0.00 3.05 0.00 0.00 14.25

time (sec)

N/A 0.145 3.440 4.225 0.000 0.700 0.000 0.000 19.833

Problem 1141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 249 1180 0 437 0 0 -1

N.S.

1 1.00 1.41 6.67 0.00 2.47 0.00 0.00 -0.01

time (sec)

N/A 0.214 4.379 0.690 0.000 0.871 0.000 0.000 0.000

Problem 1142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 302 2226 0 521 0 0 -1

N.S.

1 1.00 1.19 8.76 0.00 2.05 0.00 0.00 -0.00

time (sec)

N/A 0.550 5.822 0.753 0.000 0.862 0.000 0.000 0.000

Problem 1143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F(-1) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

329 329 686 1518 0 1512 0 0 -1

N.S.

1 1.00 2.09 4.61 0.00 4.60 0.00 0.00 -0.00

time (sec)

N/A 0.887 10.302 0.503 0.000 1.079 0.000 0.000 0.000

Problem 1144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

315 315 574 1234 0 1142 0 0 -1

N.S.

1 1.00 1.82 3.92 0.00 3.63 0.00 0.00 -0.00

time (sec)

N/A 0.871 7.205 0.543 0.000 0.912 0.000 0.000 0.000

Problem 1145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

196 196 507 1702 0 796 0 0 -1

N.S.

1 1.00 2.59 8.68 0.00 4.06 0.00 0.00 -0.01

time (sec)

N/A 0.473 7.855 0.595 0.000 0.890 0.000 0.000 0.000

Problem 1146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

195 195 518 1169 0 928 0 0 -1

N.S.

1 1.00 2.66 5.99 0.00 4.76 0.00 0.00 -0.01

time (sec)

N/A 0.459 7.882 0.516 0.000 0.918 0.000 0.000 0.000

Problem 1147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 240 1275 0 506 0 0 -1

N.S.

1 1.00 1.39 7.37 0.00 2.92 0.00 0.00 -0.01

time (sec)

N/A 0.222 4.484 0.703 0.000 0.985 0.000 0.000 0.000

Problem 1148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 302 1657 0 590 0 0 -1

N.S.

1 1.00 1.34 7.36 0.00 2.62 0.00 0.00 -0.00

time (sec)

N/A 0.302 5.967 0.726 0.000 1.635 0.000 0.000 0.000

Problem 1149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F(-2) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

415 415 849 1851 0 1965 0 0 -1

N.S.

1 1.00 2.05 4.46 0.00 4.73 0.00 0.00 -0.00

time (sec)

N/A 1.139 13.200 0.529 0.000 1.370 0.000 0.000 0.000

Problem 1150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

378 378 645 1503 0 1533 0 0 -1

N.S.

1 1.00 1.71 3.98 0.00 4.06 0.00 0.00 -0.00

time (sec)

N/A 1.139 8.952 0.530 0.000 1.692 0.000 0.000 0.000

Problem 1151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

257 257 539 2130 0 1151 0 0 -1

N.S.

1 1.00 2.10 8.29 0.00 4.48 0.00 0.00 -0.00

time (sec)

N/A 0.683 6.295 0.574 0.000 1.311 0.000 0.000 0.000

Problem 1152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

250 250 549 2647 0 1196 0 0 -1

N.S.

1 1.00 2.20 10.59 0.00 4.78 0.00 0.00 -0.00

time (sec)

N/A 0.661 8.316 0.556 0.000 1.834 0.000 0.000 0.000

Problem 1153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

257 257 560 3161 0 1105 0 0 -1

N.S.

1 1.00 2.18 12.30 0.00 4.30 0.00 0.00 -0.00

time (sec)

N/A 0.655 8.690 0.513 0.000 1.221 0.000 0.000 0.000

Problem 1154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 292 2559 0 674 0 0 -1

N.S.

1 1.00 1.30 11.37 0.00 3.00 0.00 0.00 -0.00

time (sec)

N/A 0.310 6.695 0.531 0.000 1.434 0.000 0.000 0.000

Problem 1155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

200 200 602 1295 0 809 0 0 -1

N.S.

1 1.00 3.01 6.48 0.00 4.04 0.00 0.00 -0.00

time (sec)

N/A 0.436 7.588 0.656 0.000 1.548 0.000 0.000 0.000

Problem 1156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

151 151 505 983 0 557 0 0 -1

N.S.

1 1.00 3.34 6.51 0.00 3.69 0.00 0.00 -0.01

time (sec)

N/A 0.276 5.728 0.650 0.000 1.038 0.000 0.000 0.000

Problem 1157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 147 212 3834 271 0 0 473

N.S.

1 1.00 1.79 2.59 46.76 3.30 0.00 0.00 5.77

time (sec)

N/A 0.070 2.921 0.851 0.707 1.234 0.000 0.000 10.046

Problem 1158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 195 1738 0 398 0 0 1508

N.S.

1 1.00 1.12 9.99 0.00 2.29 0.00 0.00 8.67

time (sec)

N/A 0.207 3.423 0.908 0.000 1.482 0.000 0.000 19.623

Problem 1159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 249 2946 0 506 0 0 -1

N.S.

1 1.00 1.29 15.26 0.00 2.62 0.00 0.00 -0.01

time (sec)

N/A 0.311 4.010 0.819 0.000 1.349 0.000 0.000 0.000

Problem 1160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

262 262 309 5218 0 590 0 0 -1

N.S.

1 1.00 1.18 19.92 0.00 2.25 0.00 0.00 -0.00

time (sec)

N/A 0.550 5.597 0.819 0.000 1.060 0.000 0.000 0.000

Problem 1161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

209 209 718 1815 0 974 0 0 -1

N.S.

1 1.00 3.44 8.68 0.00 4.66 0.00 0.00 -0.00

time (sec)

N/A 0.487 11.644 0.589 0.000 1.727 0.000 0.000 0.000

Problem 1162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 209 2564 0 571 0 0 -1

N.S.

1 1.00 1.62 19.88 0.00 4.43 0.00 0.00 -0.01

time (sec)

N/A 0.149 5.179 0.593 0.000 1.319 0.000 0.000 0.000

Problem 1163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 337 1291 8970 619 0 0 -1

N.S.

1 1.00 2.61 10.01 69.53 4.80 0.00 0.00 -0.01

time (sec)

N/A 0.147 4.644 0.674 1.048 0.817 0.000 0.000 0.000

Problem 1164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 267 3196 0 694 0 0 -1

N.S.

1 1.00 1.38 16.47 0.00 3.58 0.00 0.00 -0.01

time (sec)

N/A 0.337 4.644 0.724 0.000 1.383 0.000 0.000 0.000

Problem 1165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 333 4835 0 1004 0 0 -1

N.S.

1 1.00 1.24 17.97 0.00 3.73 0.00 0.00 -0.00

time (sec)

N/A 0.585 7.301 0.659 0.000 1.440 0.000 0.000 0.000

Problem 1166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

349 349 788 7870 0 1097 0 0 -1

N.S.

1 1.00 2.26 22.55 0.00 3.14 0.00 0.00 -0.00

time (sec)

N/A 0.872 9.352 0.635 0.000 2.224 0.000 0.000 0.000

Problem 1167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 283 2968 0 873 0 0 -1

N.S.

1 1.00 1.56 16.40 0.00 4.82 0.00 0.00 -0.01

time (sec)

N/A 0.258 7.054 0.621 0.000 1.217 0.000 0.000 0.000

Problem 1168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 278 2907 0 1030 0 0 -1

N.S.

1 1.00 1.55 16.24 0.00 5.75 0.00 0.00 -0.01

time (sec)

N/A 0.235 6.411 0.613 0.000 1.573 0.000 0.000 0.000

Problem 1169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 394 2448 0 992 0 0 -1

N.S.

1 1.00 2.10 13.02 0.00 5.28 0.00 0.00 -0.01

time (sec)

N/A 0.310 4.968 0.729 0.000 1.050 0.000 0.000 0.000

Problem 1170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

277 277 687 4889 0 1325 0 0 -1

N.S.

1 1.00 2.48 17.65 0.00 4.78 0.00 0.00 -0.00

time (sec)

N/A 0.590 8.970 0.709 0.000 1.390 0.000 0.000 0.000

Problem 1171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

354 354 803 7061 0 1572 0 0 -1

N.S.

1 1.00 2.27 19.95 0.00 4.44 0.00 0.00 -0.00

time (sec)

N/A 0.855 9.368 0.649 0.000 1.267 0.000 0.000 0.000

Problem 1172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

444 444 928 10145 0 1801 0 0 -1

N.S.

1 1.00 2.09 22.85 0.00 4.06 0.00 0.00 -0.00

time (sec)

N/A 1.194 10.281 0.727 0.000 1.401 0.000 0.000 0.000

Problem 1173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

114 114 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.125 7.820 0.575 0.000 0.000 0.000 0.000 0.000

Problem 1174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

157 157 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.238 16.170 2.931 0.000 0.000 0.000 0.000 0.000

Problem 1175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

95 95 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.090 4.017 0.559 0.000 0.000 0.000 0.000 0.000

Problem 1176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

61 61 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.053 1.753 0.509 0.000 0.000 0.000 0.000 0.000

Problem 1177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

193 193 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.204 26.780 3.270 0.000 0.000 0.000 0.000 0.000

Problem 1178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

273 273 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.384 8.134 3.476 0.000 0.000 0.000 0.000 0.000

Problem 1179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

381 381 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.750 27.939 3.366 0.000 0.000 0.000 0.000 0.000

Problem 1180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

192 192 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.300 50.217 3.306 0.000 0.000 0.000 0.000 0.000

Problem 1181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 422 0 0 0 0 0 -1

N.S.

1 1.00 3.55 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.117 18.177 3.007 0.000 0.000 0.000 0.000 0.000

Problem 1182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 171 0 0 0 0 0 -1

N.S.

1 1.00 2.19 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 6.287 0.635 0.000 0.000 0.000 0.000 0.000

Problem 1183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

122 122 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.178 14.661 1.228 0.000 0.000 0.000 0.000 0.000

Problem 1184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

180 180 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.336 28.487 3.531 0.000 0.000 0.000 0.000 0.000

Problem 1185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-1) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

264 264 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.629 47.349 3.994 0.000 0.000 0.000 0.000 0.000

Problem 1186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

123 123 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.136 27.043 3.003 0.000 0.000 0.000 0.000 0.000

Problem 1187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

116 116 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.098 2.538 2.685 0.000 0.000 0.000 0.000 0.000

Problem 1188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

116 116 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.098 20.448 2.782 0.000 0.000 0.000 0.000 0.000

Problem 1189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

125 125 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.107 11.138 2.837 0.000 0.000 0.000 0.000 0.000

Problem 1190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

125 125 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.110 17.142 2.712 0.000 0.000 0.000 0.000 0.000

Problem 1191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 130 159 153 151 240 2046 141

N.S.

1 1.00 0.93 1.14 1.09 1.08 1.71 14.61 1.01

time (sec)

N/A 0.107 1.108 0.090 0.541 1.133 0.148 1.346 5.273

Problem 1192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 96 97 96 95 143 968 91

N.S.

1 1.00 1.10 1.11 1.10 1.09 1.64 11.13 1.05

time (sec)

N/A 0.056 0.458 0.079 0.658 1.168 0.108 0.753 5.217

Problem 1193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 59 51 53 52 73 355 55

N.S.

1 1.00 1.40 1.21 1.26 1.24 1.74 8.45 1.31

time (sec)

N/A 0.018 0.040 0.062 0.585 0.953 0.099 0.480 5.167

Problem 1194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 66 83 92 78 524 98 94

N.S.

1 1.00 1.14 1.43 1.59 1.34 9.03 1.69 1.62

time (sec)

N/A 0.052 0.130 0.171 0.526 1.117 0.469 0.476 5.678

Problem 1195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 190 141 184 231 2878 241 152

N.S.

1 1.00 1.71 1.27 1.66 2.08 25.93 2.17 1.37

time (sec)

N/A 0.102 2.288 0.176 0.526 1.453 0.868 0.540 5.485

Problem 1196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 243 206 339 510 0 426 279

N.S.

1 1.00 1.39 1.18 1.94 2.91 0.00 2.43 1.59

time (sec)

N/A 0.183 4.581 0.269 0.615 1.494 0.000 0.655 5.646

Problem 1197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 221 307 259 257 445 4557 259

N.S.

1 1.00 1.03 1.43 1.20 1.20 2.07 21.20 1.20

time (sec)

N/A 0.181 2.552 0.112 0.629 0.974 0.204 2.682 5.347

Problem 1198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 185 189 164 162 258 2258 230

N.S.

1 1.00 1.41 1.44 1.25 1.24 1.97 17.24 1.76

time (sec)

N/A 0.128 1.131 0.100 0.564 0.635 0.140 1.281 5.276

Problem 1199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 96 97 95 94 143 968 91

N.S.

1 1.00 1.08 1.09 1.07 1.06 1.61 10.88 1.02

time (sec)

N/A 0.057 0.457 0.080 0.526 0.756 0.115 0.755 5.182

Problem 1200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 108 117 126 133 1025 127 115

N.S.

1 1.00 1.05 1.14 1.22 1.29 9.95 1.23 1.12

time (sec)

N/A 0.083 0.173 0.197 0.556 0.697 0.645 0.567 5.733

[next] [prev] [prev-tail] [front] [up]